Rovan, Branislav: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[Lecture Notes in Computer Science] SOFSEM 2014: Theory and Practice of Computer Science Volume 8327 || Goal-Based Establishment of an Information Security Management System Compliant to ISO 27001

Geffert, Viliam, Preneel, Bart, Rovan, Branislav, Štuller, Július, Tjoa, A Min

Year:

2014

Language:

english

File:

PDF, 607 KB

english, 2014

2

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Quicksort without a stack

Gruska, Jozef, Rovan, Branislav, Wiedermann, Juraj

Year:

1986

Language:

english

File:

PDF, 250 KB

english, 1986

3

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1990 Volume 452 || Dynamic hashing strategies

Rovan, Branislav

Year:

1990

Language:

english

File:

PDF, 813 KB

english, 1990

4

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1990 Volume 452 || One-way functions in complexity theory

Rovan, Branislav

Year:

1990

Language:

english

File:

PDF, 1.26 MB

english, 1990

5

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Geometric location problems and their complexity

Gruska, Jozef, Rovan, Branislav, Wiedermann, Juraj

Year:

1986

Language:

english

File:

PDF, 553 KB

english, 1986

6

[Lecture Notes in Computer Science] SOFSEM 2014: Theory and Practice of Computer Science Volume 8327 || DSL Based Platform for Business Process Management

Geffert, Viliam, Preneel, Bart, Rovan, Branislav, Štuller, Július, Tjoa, A Min

Year:

2014

Language:

english

File:

PDF, 256 KB

english, 2014

7

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || An alternative, priority-free, solution to Post's problem

Gruska, Jozef, Rovan, Branislav, Wiedermann, Juraj

Year:

1986

Language:

english

File:

PDF, 402 KB

english, 1986

8

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Efficient testing of optimal time adders

Gruska, Jozef, Rovan, Branislav, Wiedermann, Juraj

Year:

1986

Language:

english

File:

PDF, 624 KB

english, 1986

9

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || On the degree of ambiguity of finite automata

Gruska, Jozef, Rovan, Branislav, Wiedermann, Juraj

Year:

1986

Language:

english

File:

PDF, 398 KB

english, 1986

10

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1990 Volume 452 || Generalized kolmogorov complexity in relativized separations

Rovan, Branislav

Year:

1990

Language:

english

File:

PDF, 766 KB

english, 1990

11

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || An analysis of the nonemptiness problem for classes of reversal-bounded multicounter machines

Gruska, Jozef, Rovan, Branislav, Wiedermann, Juraj

Year:

1986

Language:

english

File:

PDF, 543 KB

english, 1986

12

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1990 Volume 452 || On possibilities of one-way synchronized and alternating automata

Rovan, Branislav

Year:

1990

Language:

english

File:

PDF, 590 KB

english, 1990

13

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || The evolution of two stacks in bounded space and random walks in a triangle

Gruska, Jozef, Rovan, Branislav, Wiedermann, Juraj

Year:

1986

Language:

english

File:

PDF, 789 KB

english, 1986

14

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || On the inherent combinatorial complexity of geometric problems in d - dimensional space

Gruska, Jozef, Rovan, Branislav, Wiedermann, Juraj

Year:

1986

Language:

english

File:

PDF, 695 KB

english, 1986

15

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1990 Volume 452 || Affine automata: A technique to generate complex images

Rovan, Branislav

Year:

1990

Language:

english

File:

PDF, 624 KB

english, 1990

16

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Proofs that Release Minimum Knowledge

Gruska, Jozef, Rovan, Branislav, Wiedermann, Juraj

Year:

1986

Language:

english

File:

PDF, 695 KB

english, 1986

17

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2012 Volume 7464 || Fast Balanced Partitioning Is Hard Even on Grids and Trees

Rovan, Branislav, Sassone, Vladimiro, Widmayer, Peter

Year:

2012

Language:

english

File:

PDF, 211 KB

english, 2012

18

[Lecture Notes in Computer Science] SOFSEM 2014: Theory and Practice of Computer Science Volume 8327 || Ordered Restarting Automata for Picture Languages

Geffert, Viliam, Preneel, Bart, Rovan, Branislav, Štuller, Július, Tjoa, A Min

Year:

2014

Language:

english

File:

PDF, 241 KB

english, 2014

19

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Properties of complexity measures for PRAMs and WARMs

Gruska, Jozef, Rovan, Branislav, Wiedermann, Juraj

Year:

1986

Language:

english

File:

PDF, 459 KB

english, 1986

20

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Parallel arithmetic computations: A survey

Gruska, Jozef, Rovan, Branislav, Wiedermann, Juraj

Year:

1986

Language:

english

File:

PDF, 1.04 MB

english, 1986

21

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1990 Volume 452 || Speed-up theorem without tape compression

Rovan, Branislav

Year:

1990

Language:

english

File:

PDF, 461 KB

english, 1990

22

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || A new approach to defining the communication complexity for VLSI

Gruska, Jozef, Rovan, Branislav, Wiedermann, Juraj

Year:

1986

Language:

english

File:

PDF, 529 KB

english, 1986

23

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1990 Volume 452 || Tree-stack automata

Rovan, Branislav

Year:

1990

Language:

english

File:

PDF, 809 KB

english, 1990

24

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Iterative systems of equations

Gruska, Jozef, Rovan, Branislav, Wiedermann, Juraj

Year:

1986

Language:

english

File:

PDF, 411 KB

english, 1986

25

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1990 Volume 452 || Unrestricted resolution versus N-resolution

Rovan, Branislav

Year:

1990

Language:

english

File:

PDF, 352 KB

english, 1990

26

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Lower bounds on the complexity of local circuits

Gruska, Jozef, Rovan, Branislav, Wiedermann, Juraj

Year:

1986

Language:

english

File:

PDF, 579 KB

english, 1986

27

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1990 Volume 452 || On preemptive scheduling of periodic, real-time tasks on one processor

Rovan, Branislav

Year:

1990

Language:

english

File:

PDF, 612 KB

english, 1990

28

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2003 Volume 2747 || Selfish Routing in Non-cooperative Networks: A Survey

Rovan, Branislav, Vojtáš, Peter

Year:

2003

Language:

english

File:

PDF, 324 KB

english, 2003

29

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Remark on the power of compass

Gruska, Jozef, Rovan, Branislav, Wiedermann, Juraj

Year:

1986

Language:

english

File:

PDF, 492 KB

english, 1986

30

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Unique decipherability for partially commutative alphabet (extended abstract)

Gruska, Jozef, Rovan, Branislav, Wiedermann, Juraj

Year:

1986

Language:

english

File:

PDF, 321 KB

english, 1986

31

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1990 Volume 452 || Quality criteria for partial order semantics of place/transition-nets

Rovan, Branislav

Year:

1990

Language:

english

File:

PDF, 659 KB

english, 1990

32

Introduction

Branislav Rovan

Journal:

Theoretical Computer Science

Year:

1993

Language:

english

File:

PDF, 53 KB

english, 1993

33

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Model and complexity of termination for distributed computations

Gruska, Jozef, Rovan, Branislav, Wiedermann, Juraj

Year:

1986

Language:

english

File:

PDF, 417 KB

english, 1986

34

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1990 Volume 452 || Type inference problems: A survey

Rovan, Branislav

Year:

1990

Language:

english

File:

PDF, 1.05 MB

english, 1990

35

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2012 Volume 7464 || Light Spanners in Bounded Pathwidth Graphs

Rovan, Branislav, Sassone, Vladimiro, Widmayer, Peter

Year:

2012

Language:

english

File:

PDF, 631 KB

english, 2012

36

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1990 Volume 452 || Specification & verification of higher order processes

Rovan, Branislav

Year:

1990

Language:

english

File:

PDF, 517 KB

english, 1990

37

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1990 Volume 452 || Separating ⊕L from L, NL, co-NL and AL (=P) for Oblivious turing machines of linear access time

Rovan, Branislav

Year:

1990

Language:

english

File:

PDF, 445 KB

english, 1990

38

[Lecture Notes in Computer Science] SOFSEM’ 98: Theory and Practice of Informatics Volume 1521 || Sample Method for Minimization of OBDDs

Rovan, Branislav

Year:

1998

Language:

english

File:

PDF, 413 KB

english, 1998

39

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1990 Volume 452 || The membership problem for context-free chain code picture languages

Rovan, Branislav

Year:

1990

Language:

english

File:

PDF, 587 KB

english, 1990

40

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Algebraic theory of module specifications with constraints

Gruska, Jozef, Rovan, Branislav, Wiedermann, Juraj

Year:

1986

Language:

english

File:

PDF, 1.03 MB

english, 1986

41

Automata with Auxiliary Weights

Kostolányi, Peter, Rovan, Branislav

Journal:

International Journal of Foundations of Computer Science

Year:

2016

Language:

english

File:

PDF, 284 KB

english, 2016

42

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Recent results in the theory of rational sets

Gruska, Jozef, Rovan, Branislav, Wiedermann, Juraj

Year:

1986

Language:

english

File:

PDF, 822 KB

english, 1986

43

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2003 Volume 2747 || On the Complexity of Some Equivalence Problems for Propositional Calculi

Rovan, Branislav, Vojtáš, Peter

Year:

2003

Language:

english

File:

PDF, 171 KB

english, 2003

44

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1990 Volume 452 || Optimal algorithms for dissemination of information in some interconnection networks

Rovan, Branislav

Year:

1990

Language:

english

File:

PDF, 565 KB

english, 1990

45

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Partial interpretations of higher order algebraic types

Gruska, Jozef, Rovan, Branislav, Wiedermann, Juraj

Year:

1986

Language:

english

File:

PDF, 888 KB

english, 1986

46

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1990 Volume 452 || On fast algorithms for two servers

Rovan, Branislav

Year:

1990

Language:

english

File:

PDF, 423 KB

english, 1990

47

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1990 Volume 452 || Symmetric functions in AC 0 can be computed in constant depth with very small size

Rovan, Branislav

Year:

1990

Language:

english

File:

PDF, 574 KB

english, 1990

48

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1990 Volume 452 || A sup-preserving completion of ordered partial algebras

Rovan, Branislav

Year:

1990

Language:

english

File:

PDF, 614 KB

english, 1990

49

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2003 Volume 2747 || Completeness in Differential Approximation Classes

Rovan, Branislav, Vojtáš, Peter

Year:

2003

Language:

english

File:

PDF, 196 KB

english, 2003

50

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Systolic arrays: Characterizations and complexity

Gruska, Jozef, Rovan, Branislav, Wiedermann, Juraj

Year:

1986

Language:

english

File:

PDF, 812 KB

english, 1986

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски